Menu Top
Complete Course of Mathematics
Topic 1: Numbers & Numerical Applications Topic 2: Algebra Topic 3: Quantitative Aptitude
Topic 4: Geometry Topic 5: Construction Topic 6: Coordinate Geometry
Topic 7: Mensuration Topic 8: Trigonometry Topic 9: Sets, Relations & Functions
Topic 10: Calculus Topic 11: Mathematical Reasoning Topic 12: Vectors & Three-Dimensional Geometry
Topic 13: Linear Programming Topic 14: Index Numbers & Time-Based Data Topic 15: Financial Mathematics
Topic 16: Statistics & Probability


Content On This Page
Broad Classification of Numbers Natural Numbers: Definition and Properties Whole Numbers: Definition and Properties
Integers: Definition and Properties Rational Numbers: Definition, Classification, and Properties Irrational Numbers: Definition, Classification, and Properties
Real Numbers: Definition and Relationship between Number Systems Other Number Types (Prime, Composite, etc.)


Introduction to Number Systems and Types



Broad Classification of Numbers

The world of numbers is vast and interconnected. To bring order and understanding to this diversity, mathematicians classify numbers into various sets based on their shared properties and characteristics. This hierarchical classification helps in studying their behaviour under different operations and relationships.

The most fundamental and overarching classification divides numbers into two major categories: Complex Numbers, which contain Real Numbers and Imaginary Numbers.


Complex Numbers ($\mathbb{C}$)

Complex numbers represent the largest set of numbers typically encountered in many areas of mathematics and engineering. They are numbers that can be expressed in the standard form $a + bi$, where $a$ and $b$ are any real numbers, and $i$ is the imaginary unit, defined by the property $i^2 = -1$.

In a complex number $z = a + bi$, the term $a$ is referred to as the real part of $z$, denoted as $\text{Re}(z) = a$. The term $b$ is referred to as the imaginary part of $z$, denoted as $\text{Im}(z) = b$. Note that the imaginary part is the real coefficient $b$, not $bi$.

The set of all complex numbers is denoted by the symbol $\mathbb{C}$.

Examples of complex numbers include:

The set of real numbers is a subset of the complex numbers (when the imaginary part is 0). The set of purely imaginary numbers (complex numbers with a real part of 0 and a non-zero imaginary part) is also a subset of complex numbers.


Real Numbers ($\mathbb{R}$)

Real numbers are a fundamental subset of complex numbers where the imaginary part is exactly zero ($b=0$). They are numbers that can be placed on a continuous number line. This set encompasses all numbers used for measurements, quantities, and distances.

The set of real numbers is denoted by the symbol $\mathbb{R}$.

Examples of real numbers include:

Real numbers are further subdivided into two distinct and non-overlapping categories: Rational Numbers and Irrational Numbers.


Rational Numbers ($\mathbb{Q}$)

Rational numbers are real numbers that can be expressed as a ratio or fraction of two integers. Specifically, a number $x$ is rational if it can be written in the form $\frac{p}{q}$, where $p$ and $q$ are integers, and $q$ is not equal to zero ($q \neq 0$).

The set of rational numbers is denoted by $\mathbb{Q}$, which originates from the word "quotient".

Key characteristics and examples of rational numbers:

The decimal expansion of a rational number is always either terminating or non-terminating and repeating.


Irrational Numbers ($\mathbb{I}$)

Irrational numbers are real numbers that are not rational. By definition, an irrational number cannot be expressed as a simple fraction $\frac{p}{q}$ where $p$ and $q$ are integers and $q \neq 0$.

The set of irrational numbers is often denoted by $\mathbb{I}$. Since real numbers consist of rational and irrational numbers and they have no overlap, the set of irrational numbers can also be represented as $\mathbb{R} \setminus \mathbb{Q}$ (the set difference between Real numbers and Rational numbers).

Key characteristics and examples of irrational numbers:

Irrational numbers fill the gaps on the number line that are not occupied by rational numbers. Together, rational and irrational numbers form the complete set of real numbers.


Imaginary Numbers ($\mathbb{I}_m$ or $i\mathbb{R}$)

Imaginary numbers are a subset of complex numbers where the real part is zero ($a=0$). They are numbers of the form $bi$, where $b$ is a real number and $i$ is the imaginary unit ($i^2 = -1$). When $b=0$, the number is $0i = 0$, which is both real and imaginary. Usually, the term "purely imaginary number" is used when $b \neq 0$.

The set of all imaginary numbers is $\{bi \ | \ b \in \mathbb{R}\}$. The set of purely imaginary numbers is $\{bi \ | \ b \in \mathbb{R}, b \neq 0\}$.

Examples of imaginary numbers:

A key property is that squaring a purely imaginary number results in a negative real number:

$(bi)^2 = b^2 \times i^2 = b^2 \times (-1) = -b^2$

For example, $(7i)^2 = 49 \times (-1) = -49$.


Sub-Classifications of Rational Numbers

Rational numbers themselves can be further divided into simpler sets, forming a hierarchy:

Integers ($\mathbb{Z}$)

Integers are the set of whole numbers and their additive inverses (negatives). They are rational numbers with no fractional component when written in their simplest form. They can be positive, negative, or zero.

The set of integers is denoted by $\mathbb{Z}$, from the German word 'Zahlen' meaning numbers.

$\mathbb{Z} = \{..., -4, -3, -2, -1, 0, 1, 2, 3, 4, ...\}$.

Every integer $n$ can be written as the rational number $\frac{n}{1}$.

Whole Numbers ($\mathbb{W}$)

Whole numbers are a subset of integers that includes zero and all the positive integers. They are the non-negative integers.

The set of whole numbers is denoted by $\mathbb{W}$.

$\mathbb{W} = \{0, 1, 2, 3, 4, 5, ...\}$.

Every whole number is an integer, and thus also a rational and a real number.

Natural Numbers ($\mathbb{N}$ or $\mathbb{Z}^+$)

Natural numbers are the numbers used for counting. They are the positive integers, starting from 1.

The set of natural numbers is most commonly denoted by $\mathbb{N}$. Sometimes, depending on the context or convention being followed, the set of natural numbers might include 0 ($\{0, 1, 2, ...\}$). However, in many mathematical fields, $\mathbb{N}$ starts at 1. Another notation for positive integers is $\mathbb{Z}^+$. We will follow the convention where natural numbers start from 1.

$\mathbb{N} = \{1, 2, 3, 4, 5, ...\}$.

Every natural number is a whole number, an integer, a rational number, a real number, and a complex number.

Other specific types of integers (like even, odd, prime, composite) are subsets of integers and will be discussed later.


Summary of Number System Hierarchy

The relationship between these number sets is hierarchical, with each set (except for the most general, Complex numbers) being a subset of the set above it in the hierarchy. This can be shown using the subset symbol $\subset$.

$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$

[Hierarchy of Number Sets by Inclusion]

This sequence shows that Natural Numbers are contained within Whole Numbers, Whole Numbers within Integers, Integers within Rational Numbers, Rational Numbers within Real Numbers, and Real Numbers within Complex Numbers.

The set of Real Numbers is composed of two mutually exclusive sets: Rational and Irrational Numbers.

$\mathbb{R} = \mathbb{Q} \cup \mathbb{I}$

[Real Numbers = Union of Rational and Irrational]

$\mathbb{Q} \cap \mathbb{I} = \emptyset$

[Rational and Irrational Numbers are Disjoint]

Complex numbers can be defined based on real numbers:

$\mathbb{C} = \{a + bi \ | \ a \in \mathbb{R}, b \in \mathbb{R}\}$

[Definition of Complex Numbers]

A visual representation often helps to understand this classification:

Diagram showing the classification of numbers: Complex contains Real and Imaginary. Real contains Rational and Irrational. Rational contains Integers. Integers contains Whole. Whole contains Natural.

*(Note: The diagram typically shows the most general set (Complex) at the top, branching or encompassing subsets down to the most specific (Natural), illustrating the 'contains' relationship.)*



Natural Numbers: Definition and Properties


Definition of Natural Numbers

Natural numbers are the most basic set of numbers, intuitively used for counting distinct objects. They are the positive integers, beginning with 1.

The set of natural numbers is universally denoted by the symbol $\mathbb{N}$.

While there are conventions where the set might include 0, in the context of school mathematics, particularly in India, the set of natural numbers $\mathbb{N}$ is commonly defined as starting from 1:

$\mathbb{N} = \{1, 2, 3, 4, 5, ...\}$

[Set of Natural Numbers - Convention used here]

This set includes all positive integers that extend infinitely. Numbers like $1, 2, 10, 500, 100000$ are all natural numbers.

The alternative definition, sometimes denoted as $\mathbb{N}_0$ or $\mathbb{W}$ (Whole Numbers), includes 0:

$\mathbb{N}_0 = \{0, 1, 2, 3, 4, ...\}$

[Alternative definition including Zero]

Unless specifically mentioned otherwise, when we refer to "natural numbers" in these notes, we will be using the definition $\mathbb{N} = \{1, 2, 3, ...\}$.


Properties of Natural Numbers under Basic Operations

Let's examine how the set of natural numbers ($\mathbb{N} = \{1, 2, 3, ...\}$) behaves under the four basic arithmetic operations: addition, subtraction, multiplication, and division. We will look at several important properties.

Let $a, b,$ and $c$ be any three natural numbers.


1. Closure Property

A set is said to be closed under an operation if, when you perform that operation on any two elements from the set, the result is also an element of the same set.


2. Commutative Property

An operation '*' on a set is commutative if changing the order of the operands does not change the result. Mathematically, $a * b = b * a$ for all elements $a$ and $b$ in the set.


3. Associative Property

An operation '*' on a set is associative if the way in which numbers are grouped when performing the operation on three or more numbers does not affect the result. Mathematically, $(a * b) * c = a * (b * c)$ for all elements $a, b,$ and $c$ in the set.


4. Identity Property (Existence of Identity Element)

An identity element for an operation '*' is an element 'e' such that when combined with any element 'a' from the set using the operation, it leaves 'a' unchanged. Mathematically, $a * e = e * a = a$ for all $a$ in the set, and $e$ must also be in the set.


5. Inverse Property (Existence of Inverse Element)

For an operation '*' and an identity element 'e', the inverse element of 'a' (denoted $a^{-1}$) is an element in the set such that $a * a^{-1} = a^{-1} * a = e$.


6. Distributive Property

The distributive property relates two operations, usually multiplication and addition/subtraction. It states that multiplying a number by a sum or difference is the same as multiplying the number by each term in the sum or difference separately and then adding or subtracting the results.

For multiplication over addition:

If $a, b, c \in \mathbb{N}$, then $a \times (b + c) = (a \times b) + (a \times c)$.

(Left Distributivity)

Also, $(a + b) \times c = (a \times c) + (b \times c)$.

(Right Distributivity)

Since multiplication is commutative for natural numbers ($a \times c = c \times a$ and $b \times c = c \times b$), the left and right distributive properties result in the same outcomes for natural numbers.

Example: Let $a=5, b=3, c=4$.

$a \times (b + c) = 5 \times (3 + 4) = 5 \times 7 = 35$.

$(a \times b) + (a \times c) = (5 \times 3) + (5 \times 4) = 15 + 20 = 35$.

Since $35 = 35$, $a \times (b + c) = (a \times b) + (a \times c)$.

For multiplication over subtraction:

If $a, b, c \in \mathbb{N}$ and $b > c$, then $a \times (b - c) = (a \times b) - (a \times c)$.

We require $b > c$ here to ensure that $b-c$ is a natural number, making the left side defined within the context of natural numbers operating on natural numbers. Even if $b-c$ results in an integer (when $b \leq c$), the property still holds in larger sets like integers or real numbers.

Example: Let $a=6, b=8, c=2$. (Note that $b > c$)

$a \times (b - c) = 6 \times (8 - 2) = 6 \times 6 = 36$.

$(a \times b) - (a \times c) = (6 \times 8) - (6 \times 2) = 48 - 12 = 36$.

Since $36 = 36$, $a \times (b - c) = (a \times b) - (a \times c)$ when the differences are defined as natural numbers or integers.

Thus, multiplication is distributive over both addition and subtraction for natural numbers.


Summary Table of Properties for Natural Numbers ($\mathbb{N}$)

Property Addition (+) Subtraction (-) Multiplication ($\times$) Division ($\div$)
Closure Yes No Yes No
Commutativity Yes No Yes No
Associativity Yes No Yes No
Identity Element Exists No (0 is not in $\mathbb{N}$) No Yes (1 is in $\mathbb{N}$) No
Inverse Element Exists No No No (except for 1) No
Distributivity (Multiplication over Addition/Subtraction) Yes

Understanding these properties is crucial as we move to larger sets of numbers, where some properties that didn't hold for natural numbers might hold.



Whole Numbers: Definition and Properties


Definition of Whole Numbers

Whole numbers are a fundamental set of numbers formed by combining the set of natural numbers with the number zero. If we follow the convention that natural numbers $\mathbb{N} = \{1, 2, 3, 4, ...\}$, then the set of whole numbers, denoted by $\mathbb{W}$, is:

$\mathbb{W} = \{0, 1, 2, 3, 4, 5, ...\}$

[Set of Whole Numbers]

This means the set of whole numbers includes zero and all the positive integers. In other words, whole numbers are the set of non-negative integers.

Based on this definition, the set of natural numbers is a proper subset of the set of whole numbers:

$\mathbb{N} \subset \mathbb{W}$

[Natural Numbers are a subset of Whole Numbers]

Examples of whole numbers include $0, 1, 10, 250, 1000000$.

It is important to note that every natural number is a whole number, but the converse is not true, as $0$ is a whole number but not a natural number (under our adopted convention for $\mathbb{N}$).


Properties of Whole Numbers under Basic Operations

Let $a, b,$ and $c$ be any three whole numbers. Let's examine the properties of whole numbers under the basic arithmetic operations: addition, subtraction, multiplication, and division.


1. Closure Property

A set is closed under an operation if performing the operation on any two elements from the set always produces a result that is also within the same set.


2. Commutative Property

An operation '*' is commutative if changing the order of the operands does not affect the result ($a * b = b * a$).


3. Associative Property

An operation '*' is associative if the grouping of numbers does not affect the result when performing the operation on three or more elements $[(a * b) * c = a * (b * c)]$.


4. Identity Property (Existence of Identity Element)

An identity element for an operation '*' is an element 'e' in the set such that for any element 'a' in the set, $a * e = e * a = a$.


5. Inverse Property (Existence of Inverse Element)

For an operation '*' and an identity element 'e', the inverse element of 'a' ($a^{-1}$) is an element in the set such that $a * a^{-1} = a^{-1} * a = e$.


6. Distributive Property

The distributive property connects multiplication with addition or subtraction. For whole numbers, multiplication distributes over both addition and subtraction.


Successor and Predecessor

For any whole number $n$, its successor is the number that comes immediately after it, which is $n+1$. The successor of any whole number is always a whole number.

For any whole number $n$ greater than 0 (i.e., $n \in \{1, 2, 3, ...\}$), its predecessor is the number that comes immediately before it, which is $n-1$.

The number 0 is a whole number, but it does not have a predecessor within the set of whole numbers, because $0 - 1 = -1$, which is an integer but not a whole number.

Examples:


Summary Table of Properties for Whole Numbers ($\mathbb{W}$)

Property Addition (+) Subtraction (-) Multiplication ($\times$) Division ($\div$)
Closure Yes No Yes No
Commutativity Yes No Yes No
Associativity Yes No Yes No
Identity Element Exists Yes (0) No Yes (1) No
Inverse Element Exists No (except for 0) No No (except for 1) No
Distributivity (Multiplication over Addition/Subtraction) Yes

Comparing these properties with those of natural numbers, we see that including zero in the set of whole numbers provides an additive identity, which was absent in the set of natural numbers.



Integers: Definition and Properties


Definition of Integers

Integers are a larger set of numbers compared to whole numbers. They are formed by including all the whole numbers and their negative counterparts. The set of integers extends infinitely in both positive and negative directions from zero.

The set of integers is denoted by the symbol $\mathbb{Z}$. This symbol comes from the German word 'Zahlen', which means 'numbers'.

The set of integers $\mathbb{Z}$ can be explicitly written as:

$\mathbb{Z} = \{..., -3, -2, -1, 0, 1, 2, 3, ...\}$

[Set of Integers]

From the definition, it's clear that all whole numbers are integers, and since natural numbers are a subset of whole numbers, all natural numbers are also integers. This expands our hierarchy of number sets:

$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z}$

[Hierarchy up to Integers]

Examples of integers include $-100, -50, -1, 0, 1, 10, 75, 1000$.

Integers are typically classified into three categories:

So, the set of integers can also be expressed as the union of negative integers, zero, and positive integers:

$\mathbb{Z} = \mathbb{Z}^- \cup \{0\} \cup \mathbb{Z}^+$

[Classification of Integers]


Properties of Integers under Basic Operations

Let $a, b,$ and $c$ be any three integers. Let's examine how the set of integers ($\mathbb{Z}$) behaves under the four basic arithmetic operations: addition, subtraction, multiplication, and division.


1. Closure Property

A set is closed under an operation if performing the operation on any two elements from the set always produces a result that is also an element of the same set.


2. Commutative Property

An operation '*' is commutative if changing the order of the operands does not change the result ($a * b = b * a$).


3. Associative Property

An operation '*' on a set is associative if the way in which numbers are grouped when performing the operation on three or more numbers does not affect the result [$(a * b) * c = a * (b * c)$].


4. Identity Property (Existence of Identity Element)

An identity element for an operation '*' is an element 'e' in the set such that for any element 'a' in the set, $a * e = e * a = a$.


5. Inverse Property (Existence of Inverse Element)

For an operation '*' and an identity element 'e', the inverse element of 'a' ($a^{-1}$) is an element in the set such that $a * a^{-1} = a^{-1} * a = e$.


6. Distributive Property

The distributive property connects multiplication with addition or subtraction. For integers, multiplication distributes over both addition and subtraction.


Summary Table of Properties for Integers ($\mathbb{Z}$)

Property Addition (+) Subtraction (-) Multiplication ($\times$) Division ($\div$)
Closure Yes Yes Yes No
Commutativity Yes No Yes No
Associativity Yes No Yes No
Identity Element Exists Yes (0) No Yes (1) No
Inverse Element Exists Yes (for all $a \in \mathbb{Z}$, inverse is $-a \in \mathbb{Z}$) No No (except for 1 and -1) No
Distributivity (Multiplication over Addition/Subtraction) Yes

Compared to whole numbers, the set of integers is closed under subtraction and provides an additive inverse for every element within the set. This makes integers a more robust set for solving equations involving addition and subtraction.



Rational Numbers: Definition, Classification, and Properties


Definition of Rational Numbers

Rational numbers are a set of numbers that include all integers, fractions, and terminating or repeating decimals. Formally, a rational number is defined as any number that can be expressed as a ratio or fraction of two integers.

The set of rational numbers is denoted by the symbol $\mathbb{Q}$, which stands for Quotient.

The formal definition of the set of rational numbers is:

$\mathbb{Q} = \{x \ | \ x = \frac{p}{q}, \text{ where } p \in \mathbb{Z}, q \in \mathbb{Z}, \text{ and } q \neq 0 \}$

[Definition of Rational Numbers]

In the expression $\frac{p}{q}$, $p$ is called the numerator and $q$ is called the denominator. The condition $q \neq 0$ is crucial because division by zero is undefined.

Examples of rational numbers include:

Since all integers can be expressed as a ratio of an integer to 1, the set of integers is a subset of the set of rational numbers. This extends our number system hierarchy:

$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q}$

[Hierarchy up to Rational Numbers]


Decimal Representation of Rational Numbers

A key characteristic of rational numbers is the nature of their decimal expansion. When a rational number $\frac{p}{q}$ is converted into decimal form, the result is always one of two types:

This property is a defining characteristic: Any number that can be written as $\frac{p}{q}$ has a decimal expansion that is either terminating or repeating. Conversely, any number with a terminating or repeating decimal expansion can be written as $\frac{p}{q}$, proving it is rational.


Converting Repeating Decimals to $\frac{p}{q}$ Form

Since every non-terminating repeating decimal is a rational number, it can be expressed in the form $\frac{p}{q}$. We can use an algebraic method to perform this conversion.

Example 1. Express $0.\overline{6}$ in the form $\frac{p}{q}$, where $p$ and $q$ are integers and $q \neq 0$.

Answer:

Let $x$ be the given decimal.

$\text{Let } x = 0.\overline{6}$

This means $x = 0.6666...$ Let's write this as an equation:

$\quad x = 0.6666...$

... (i)

Since only one digit (6) is repeating after the decimal point, multiply both sides of equation (i) by $10^1 = 10$. This shifts the decimal point one place to the right, bringing one repeating block to the left of the decimal.

$\quad 10 \times x = 10 \times (0.6666...)$

$\quad 10x = 6.6666...$

... (ii)

Now, subtract equation (i) from equation (ii). This aligns the repeating decimal parts so they cancel out.

$\quad 10x - x = (6.6666...) - (0.6666...)$

$\quad 9x = 6$

Now, solve for $x$ by dividing both sides by 9:

$\quad x = \frac{6}{9}$

Simplify the fraction by dividing the numerator and denominator by their greatest common divisor, which is 3:

$\quad x = \frac{\cancel{6}^2}{\cancel{9}_3} = \frac{2}{3}$

So, $0.\overline{6} = \frac{2}{3}$, which is in the form $\frac{p}{q}$ where $p=2$ and $q=3$, both are integers and $q \neq 0$.


Example 2. Express $0.\overline{27}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 0.\overline{27}$. This means $x = 0.272727...$

$\quad x = 0.272727...$

... (i)

Since two digits (27) are repeating after the decimal point, multiply equation (i) by $10^2 = 100$:

$\quad 100x = 27.272727...$

... (ii)

Subtract equation (i) from equation (ii):

$\quad 100x - x = (27.272727...) - (0.272727...)$

$\quad 99x = 27$

Solve for $x$:

$\quad x = \frac{27}{99}$

Simplify the fraction (divide by 9):

$\quad x = \frac{\cancel{27}^3}{\cancel{99}_{11}} = \frac{3}{11}$

So, $0.\overline{27} = \frac{3}{11}$.


Example 3. Express $1.2\overline{3}$ in the form $\frac{p}{q}$.

Answer:

Let $x = 1.2\overline{3}$. This means $x = 1.23333...$

$\quad x = 1.23333...$

... (i)

First, move the non-repeating part (2) right after the decimal to the left of the decimal. There is 1 non-repeating digit (2) after the decimal. Multiply equation (i) by $10^1 = 10$:

$\quad 10x = 12.3333...$

... (ii)

Now, consider the repeating part (3). It has 1 digit. To shift one repeating block to the left of the decimal in equation (ii), multiply equation (ii) by $10^1 = 10$:

$\quad 10 \times (10x) = 10 \times (12.3333...)$

$\quad 100x = 123.3333...$

... (iii)

Subtract equation (ii) from equation (iii) to eliminate the repeating part:

$\quad 100x - 10x = (123.3333...) - (12.3333...)$

$\quad 90x = 111$

Solve for $x$:

$\quad x = \frac{111}{90}$

Simplify the fraction (divide by 3):

$\quad x = \frac{\cancel{111}^{37}}{\cancel{90}_{30}} = \frac{37}{30}$

So, $1.2\overline{3} = \frac{37}{30}$.


Properties of Rational Numbers under Basic Operations

The set of rational numbers ($\mathbb{Q}$) possesses many important algebraic properties under the basic arithmetic operations. These properties make $\mathbb{Q}$ a field in abstract algebra.

Let $a, b,$ and $c$ be any three rational numbers.


1. Closure Property

The set of rational numbers is closed under addition, subtraction, multiplication, and division (with the exception of division by zero).


2. Commutative Property

Addition and multiplication of rational numbers are commutative.


3. Associative Property

Addition and multiplication of rational numbers are associative.


4. Identity Property (Existence of Identity Element)

Identity elements exist for both addition and multiplication in the set of rational numbers.


5. Inverse Property (Existence of Inverse Element)

Inverse elements exist for addition for all rational numbers, and for multiplication for all non-zero rational numbers.


6. Distributive Property

Multiplication of rational numbers distributes over addition and subtraction.


7. Density Property

The set of rational numbers is dense on the number line. This means that between any two distinct rational numbers, no matter how close they are, there exists infinitely many other rational numbers.

More formally, for any two distinct rational numbers $a$ and $b$ with $a < b$, there exists at least one rational number $c$ such that $a < c < b$. Since there is one, we can repeat the process between $a$ and $c$, and $c$ and $b$, and so on, finding infinitely many rational numbers.

A simple way to find a rational number between two distinct rational numbers $a$ and $b$ is to calculate their average: $\frac{a+b}{2}$.

Proof that $\frac{a+b}{2}$ is rational: If $a, b \in \mathbb{Q}$, then $a+b \in \mathbb{Q}$ (closure under addition) and $2 \in \mathbb{Q}$ ($2=\frac{2}{1}$). Since $2 \neq 0$, $\frac{a+b}{2}$ is the quotient of two rational numbers (with the divisor being non-zero), which is also a rational number (closure under division).

Proof that $a < \frac{a+b}{2} < b$:

Given $a < b$.

Add $a$ to both sides of the inequality $a < b$:

$\quad a + a < b + a$

$\quad 2a < a + b$

Divide both sides by 2 (since 2 is positive, the inequality direction doesn't change):

$\quad \frac{2a}{2} < \frac{a+b}{2}$

$\quad a < \frac{a+b}{2}$

... (1)

Similarly, add $b$ to both sides of the inequality $a < b$:

$\quad a + b < b + b$

$\quad a + b < 2b$

Divide both sides by 2:

$\quad \frac{a+b}{2} < \frac{2b}{2}$

$\quad \frac{a+b}{2} < b$

... (2)

Combining (1) and (2), we get $a < \frac{a+b}{2} < b$. This shows that the average is a rational number lying between $a$ and $b$.

To find more rational numbers between $a$ and $b$, we can find the average of $a$ and $\frac{a+b}{2}$, and the average of $\frac{a+b}{2}$ and $b$, and continue this process indefinitely.

Example 1. Find a rational number between $\frac{1}{4}$ and $\frac{1}{2}$.

Answer:

Using the average method, a rational number between $\frac{1}{4}$ and $\frac{1}{2}$ is:

$\quad \frac{\frac{1}{4} + \frac{1}{2}}{2} = \frac{\frac{1+2}{4}}{2} = \frac{\frac{3}{4}}{2} = \frac{3}{4} \times \frac{1}{2} = \frac{3}{8}$

The number $\frac{3}{8}$ is rational, and $\frac{1}{4} = \frac{2}{8} < \frac{3}{8} < \frac{4}{8} = \frac{1}{2}$. So $\frac{3}{8}$ is a rational number between $\frac{1}{4}$ and $\frac{1}{2}$.

Example 2. Find five rational numbers between $\frac{1}{4}$ and $\frac{1}{2}$.

Answer:

We can convert the fractions to equivalent fractions with a common denominator. We want to find 5 numbers, so we can multiply the denominators by a number slightly larger than 5+1 = 6. Let's use a denominator like $4 \times 10 = 40$ and $2 \times 20 = 40$, or even larger like $4 \times 8 = 32$ and $2 \times 16 = 32$. Let's use 32.

$\quad \frac{1}{4} = \frac{1 \times 8}{4 \times 8} = \frac{8}{32}$

$\quad \frac{1}{2} = \frac{1 \times 16}{2 \times 16} = \frac{16}{32}$

Now we need to find 5 rational numbers between $\frac{8}{32}$ and $\frac{16}{32}$. We can simply pick fractions with denominator 32 and numerators between 8 and 16.

Five rational numbers between $\frac{8}{32}$ and $\frac{16}{32}$ are:

$\quad \frac{9}{32}, \frac{10}{32}, \frac{11}{32}, \frac{12}{32}, \frac{13}{32}$.

(These are $\frac{9}{32}, \frac{5}{16}, \frac{11}{32}, \frac{3}{8}, \frac{13}{32}$ after simplification).

All these numbers are rational and lie between $\frac{8}{32}$ and $\frac{16}{32}$, i.e., between $\frac{1}{4}$ and $\frac{1}{2}$.

Alternate Method (using average repeatedly):

1. Number between $\frac{1}{4}$ and $\frac{1}{2}$: $\frac{\frac{1}{4} + \frac{1}{2}}{2} = \frac{3}{8}$. (This is the first number)

2. Number between $\frac{1}{4}$ and $\frac{3}{8}$: $\frac{\frac{1}{4} + \frac{3}{8}}{2} = \frac{\frac{2+3}{8}}{2} = \frac{5}{16}$. (Second number)

3. Number between $\frac{3}{8}$ and $\frac{1}{2}$: $\frac{\frac{3}{8} + \frac{1}{2}}{2} = \frac{\frac{3+4}{8}}{2} = \frac{7}{16}$. (Third number)

4. Number between $\frac{1}{4}$ and $\frac{5}{16}$: $\frac{\frac{1}{4} + \frac{5}{16}}{2} = \frac{\frac{4+5}{16}}{2} = \frac{9}{32}$. (Fourth number)

5. Number between $\frac{7}{16}$ and $\frac{1}{2}$: $\frac{\frac{7}{16} + \frac{1}{2}}{2} = \frac{\frac{7+8}{16}}{2} = \frac{15}{32}$. (Fifth number)

So, five rational numbers between $\frac{1}{4}$ and $\frac{1}{2}$ are $\frac{3}{8}, \frac{5}{16}, \frac{7}{16}, \frac{9}{32}, \frac{15}{32}$. There are infinitely many possibilities.


Summary Table of Properties for Rational Numbers ($\mathbb{Q}$)

Property Addition (+) Subtraction (-) Multiplication ($\times$) Division ($\div$)
Closure Yes Yes Yes Yes (for non-zero divisor)
Commutativity Yes No Yes No
Associativity Yes No Yes No
Identity Element Exists Yes (0) No Yes (1) No
Inverse Element Exists Yes (for all $a \in \mathbb{Q}$, inverse is $-a \in \mathbb{Q}$) No Yes (for all $a \in \mathbb{Q}, a \neq 0$, inverse is $\frac{1}{a} \in \mathbb{Q}$) No
Distributivity (Multiplication over Addition/Subtraction) Yes
Density Yes (between any two distinct rationals, there is another rational)

The set of rational numbers is closed under all four basic arithmetic operations (except division by zero) and satisfies the main algebraic properties, making it a very useful and structured number system.



Irrational Numbers: Definition, Classification, and Properties


Definition of Irrational Numbers

Irrational numbers are real numbers that stand in contrast to rational numbers. By definition, an irrational number is any real number that cannot be expressed as a simple fraction $\frac{p}{q}$, where $p$ and $q$ are integers and $q$ is a non-zero integer ($q \neq 0$).

The set of irrational numbers is commonly denoted by $\mathbb{I}$. Since the set of real numbers $\mathbb{R}$ is the union of rational numbers $\mathbb{Q}$ and irrational numbers $\mathbb{I}$, and these sets are disjoint, we can also define the set of irrational numbers as $\mathbb{R} \setminus \mathbb{Q}$ (the set of real numbers excluding the rational numbers).

$\mathbb{I} = \{x \in \mathbb{R} \ | \ x \notin \mathbb{Q} \}$

[Definition of Irrational Numbers]

The most defining characteristic of an irrational number lies in its decimal representation:

The decimal expansion of an irrational number is always non-terminating and non-repeating.

This means that the digits after the decimal point go on infinitely without ever forming a repeating block or pattern.

Examples of irrational numbers:

The relationship between rational ($\mathbb{Q}$) and irrational ($\mathbb{I}$) numbers is that they are mutually exclusive subsets of the real numbers ($\mathbb{R}$).

$\mathbb{Q} \cap \mathbb{I} = \emptyset$

[Rational and Irrational sets are disjoint]

$\mathbb{Q} \cup \mathbb{I} = \mathbb{R}$

[Union of Rational and Irrational sets is Real Numbers]


Sources and Examples of Irrational Numbers

Irrational numbers arise from various mathematical contexts. Some common sources include:


Proof of Irrationality: The Case of $\sqrt{2}$

The proof that $\sqrt{2}$ is an irrational number is a classic example of mathematical reasoning using proof by contradiction (also known as reductio ad absurdum). It's a cornerstone result demonstrating the existence of numbers beyond the rational set.

Example 1. Prove that $\sqrt{2}$ is an irrational number.

Proof:

We want to prove that $\sqrt{2}$ cannot be written as a fraction of two integers. We will assume the opposite (that it *can* be written as a fraction) and show that this assumption leads to a logical impossibility (a contradiction).

Given: The number $\sqrt{2}$.

To Prove: $\sqrt{2}$ is an irrational number.

Proof by Contradiction:

1. Assumption: Assume that $\sqrt{2}$ is a rational number.

2. Consequence of Assumption: If $\sqrt{2}$ is rational, then it can be expressed as a fraction $\frac{p}{q}$, where $p$ and $q$ are integers, $q \neq 0$, and the fraction $\frac{p}{q}$ is in its simplest form (meaning $p$ and $q$ have no common factors other than 1, i.e., their greatest common divisor $\text{GCD}(p, q) = 1$).

$\sqrt{2} = \frac{p}{q}$

(Assumption: $p, q \in \mathbb{Z}, q \neq 0, \text{GCD}(p, q) = 1$)

3. Square both sides: Square both sides of the equation to remove the square root.

$(\sqrt{2})^2 = (\frac{p}{q})^2$

$2 = \frac{p^2}{q^2}$

4. Rearrange the equation: Multiply both sides by $q^2$.

$\quad 2q^2 = p^2$

... (i)

5. Analyze $p^2$: Equation (i) shows that $p^2$ is equal to $2$ multiplied by the integer $q^2$. This implies that $p^2$ is an even number. By definition, an even number is any integer that can be divided by 2 with no remainder.

6. Analyze $p$: If $p^2$ is an even number, then $p$ itself must also be an even number. We can prove this helper statement: Any odd integer can be written as $2k+1$ for some integer $k$. Squaring an odd number: $(2k+1)^2 = 4k^2 + 4k + 1 = 2(2k^2 + 2k) + 1$. This result is always odd. Since $p^2$ is not odd, $p$ cannot be odd. Therefore, $p$ must be even.

7. Express $p$ as $2k$: Since $p$ is even, we can write $p$ as $2k$ for some integer $k$.

$\text{Let } p = 2k \quad \text{for some integer } k$

8. Substitute $p$ into equation (i): Substitute $p = 2k$ into the equation $2q^2 = p^2$.

$\quad 2q^2 = (2k)^2$

$\quad 2q^2 = 4k^2$

9. Analyze $q^2$: Divide both sides by 2.

$\quad q^2 = 2k^2$

This equation shows that $q^2$ is equal to $2$ times some integer ($k^2$). This means $q^2$ is an even number.

10. Analyze $q$: Similar to the reasoning for $p$, if $q^2$ is an even number, then $q$ must also be an even number.

11. Reach the Contradiction: Our derivation shows that both $p$ and $q$ are even numbers. If both $p$ and $q$ are even, they have a common factor of 2. This means that the fraction $\frac{p}{q}$ can be simplified by dividing both the numerator and denominator by 2.

However, this contradicts our initial assumption in step 2 that the fraction $\frac{p}{q}$ was in its simplest form (where $p$ and $q$ have no common factors other than 1). A number and its simplest form represent the same value.

12. Conclusion: Since the assumption that $\sqrt{2}$ is a rational number leads to a contradiction, our initial assumption must be false. Therefore, $\sqrt{2}$ cannot be expressed as a ratio of two integers.

Hence, $\sqrt{2}$ is an irrational number.


Properties of Irrational Numbers under Basic Operations

Unlike rational numbers, the set of irrational numbers is not closed under any of the four basic arithmetic operations (addition, subtraction, multiplication, and division). Performing operations involving irrational numbers can result in either a rational number or another irrational number.

Let $a$ be a rational number ($a \in \mathbb{Q}$) and $b, c$ be irrational numbers ($b, c \in \mathbb{I}$). Assume $a \neq 0$, $b \neq 0$, $c \neq 0$, and for division, the divisor is non-zero.

This lack of closure means that when you perform an operation on two irrational numbers, you cannot assume the result will also be irrational; you need to evaluate the specific case.


Density Property

Similar to rational numbers, irrational numbers are also dense on the number line. This means that between any two distinct irrational numbers, there are infinitely many other irrational numbers.

Even more significantly, the real number line is "filled" by both rational and irrational numbers. Between any two distinct real numbers (whether both rational, both irrational, or one of each), there is always at least one rational number and at least one irrational number, and consequently, infinitely many of both.

Example: Between the two rational numbers 0.1 and 0.2, there exists the irrational number $0.1010010001...$ and the rational number 0.15.

Between the two irrational numbers $\sqrt{2} \approx 1.414$ and $\sqrt{3} \approx 1.732$, there exist rational numbers like 1.5 and 1.6, and irrational numbers like $\sqrt{2.5}$ and $\sqrt{2} + 0.1$.

This density property highlights that both sets of numbers are "everywhere" on the real number line, interleaved infinitely amongst each other.



Real Numbers: Definition and Relationship between Number Systems


Definition of Real Numbers

The set of Real Numbers, denoted by $\mathbb{R}$, encompasses all the numbers that can be represented by points on a continuous line called the number line. It is formed by combining the set of rational numbers and the set of irrational numbers.

Formally, the set of real numbers is the union of the set of rational numbers ($\mathbb{Q}$) and the set of irrational numbers ($\mathbb{I}$).

$\mathbb{R} = \mathbb{Q} \cup \mathbb{I}$

[Definition of Real Numbers]

Every real number is either rational or irrational, but not both. The rational and irrational number sets are mutually exclusive ($\mathbb{Q} \cap \mathbb{I} = \emptyset$).

Examples of real numbers are virtually any number you encounter: $7, -3, 0, \frac{1}{2}, -4.75, \sqrt{5}, \pi, e$. The set of real numbers covers all possibilities for distance, magnitude, and quantity along a single dimension.

The key characteristic of real numbers is that they completely fill the number line. There is a one-to-one correspondence between every real number and every point on the infinite number line.


Relationship and Hierarchy of Number Systems within Real Numbers

We have seen how smaller sets of numbers are contained within larger sets. All the number sets discussed so far (Natural, Whole, Integers, Rational, Irrational) are subsets of the real numbers. Let's summarize their relationships within $\mathbb{R}$:

This hierarchy, moving from the most restrictive to the most inclusive set (within the real number system), is represented by successive subset relationships:

$\mathbb{N} \subset \mathbb{W} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$

[Nested structure of Real Number sets]

And the set of real numbers is composed of the rational and irrational numbers, which are disjoint sets:

$\mathbb{R} = \mathbb{Q} \cup \mathbb{I} \quad \text{and} \quad \mathbb{Q} \cap \mathbb{I} = \emptyset$

[Real Numbers partitioned into Rational and Irrational]

This structure shows that every natural number is a whole number, every whole number is an integer, every integer is a rational number, and every rational number is a real number. Also, every irrational number is a real number.

The broader classification places Real Numbers as a subset of Complex Numbers, where the imaginary part is zero: $\mathbb{R} \subset \mathbb{C}$.


Properties of Real Numbers under Basic Operations

The set of real numbers $\mathbb{R}$, together with the operations of addition (+) and multiplication ($\times$), satisfies a comprehensive set of properties that form the basis of algebra and analysis. These properties make the real numbers a field.

Let $a, b, c$ be any three real numbers.


1. Closure Property

The set of real numbers is closed under addition, subtraction, multiplication, and division (except by zero).


2. Commutative Property

The order of operands does not affect the result for addition and multiplication.


3. Associative Property

The grouping of operands does not affect the result for addition and multiplication.


4. Identity Property (Existence of Identity Element)

Identity elements exist for both addition and multiplication within the real numbers.


5. Inverse Property (Existence of Inverse Element)

Inverse elements exist for addition for all real numbers, and for multiplication for all non-zero real numbers.


6. Distributive Property

Multiplication distributes over addition and subtraction in the set of real numbers.


Order Properties of Real Numbers

The real numbers are an ordered set. This means that for any two distinct real numbers, one is always greater than the other. This property allows us to arrange real numbers on the number line in increasing order.

For any two real numbers $a$ and $b$, exactly one of the following relations is true:

This property is crucial for comparing and ordering real numbers, solving inequalities, and understanding the structure of the number line.


Completeness Property of Real Numbers

The Completeness Property is a fundamental characteristic that distinguishes the set of real numbers from the set of rational numbers. While rational numbers are dense (meaning between any two rationals there's another rational), there are "gaps" on the number line where irrational numbers lie ($\sqrt{2}, \pi$, etc.). The real number line has no such gaps; it is continuous.

There are several equivalent ways to state the completeness property, often encountered in higher mathematics (calculus and analysis). Some common formulations include:

This property ensures that the real number line is continuous and contains the limits of convergent sequences and the bounds of bounded sets, which is essential for calculus and advanced mathematics.


Summary Table of Properties for Real Numbers ($\mathbb{R}$)

Property Addition (+) Subtraction (-) Multiplication ($\times$) Division ($\div$)
Closure Yes Yes Yes Yes (for non-zero divisor)
Commutativity Yes No Yes No
Associativity Yes No Yes No
Identity Element Exists Yes (0) No Yes (1) No
Inverse Element Exists Yes (for all $a \in \mathbb{R}$, inverse is $-a \in \mathbb{R}$) No Yes (for all $a \in \mathbb{R}, a \neq 0$, inverse is $\frac{1}{a} \in \mathbb{R}$) No
Distributivity (Multiplication over Addition/Subtraction) Yes
Order Yes (numbers can be compared $>, <, =$ )
Completeness Yes (the number line has no gaps)

The real numbers form the foundation for much of mathematics and science, providing a continuum essential for concepts like limits, derivatives, and integrals.



Other Number Types (Prime, Composite, etc.)

In addition to the broad classifications of numbers based on their structure (like rational or irrational), we can also categorize numbers based on their properties related to factors, divisors, and specific patterns. These classifications often apply to subsets of integers, most commonly the positive integers, which are the natural numbers.


Even and Odd Numbers

This classification applies to the set of integers ($\mathbb{Z}$).

Every integer belongs to exactly one of these two categories: it is either even or odd.

Properties related to Even and Odd Numbers:


Prime and Composite Numbers

This classification specifically applies to natural numbers greater than 1 ($\mathbb{N} \setminus \{1\}$).

The number 1 is neither prime nor composite. It belongs to its own category among natural numbers.

So, the set of natural numbers $\mathbb{N} = \{1, 2, 3, 4, ...\}$ can be partitioned into three sets: $\{1\}$, the set of prime numbers, and the set of composite numbers.


Fundamental Theorem of Arithmetic

Also known as the Unique Factorization Theorem, this fundamental theorem of number theory states that every integer greater than 1 can be uniquely represented as a product of prime numbers, ignoring the order of the factors.

Statement: Every composite number can be expressed (factorised) as a product of primes, and this factorisation is unique, apart from the order in which the prime factors occur.

For example, the number 12 can be factorized as $2 \times 2 \times 3$, or $2^2 \times 3$. No other combination of prime numbers will multiply to give 12. The order might change ($2 \times 3 \times 2$), but the set of prime factors and their powers will always be $\{2, 2, 3\}$ or $\{2^2, 3^1\}$.

Example 1. Find the prime factorization of 210.

Answer:

We find the prime factors of 210 by repeatedly dividing by the smallest possible prime numbers (2, 3, 5, 7, 11, ...).

Divide 210 by 2:

$\begin{array}{c|cc} 2 & 210 \\ \hline & 105 \end{array}$

210 = $2 \times 105$. Now factorize 105.

105 is not divisible by 2. Try the next prime, 3:

$\begin{array}{c|cc} 3 & 105 \\ \hline & 35 \end{array}$

105 = $3 \times 35$. So, 210 = $2 \times 3 \times 35$. Now factorize 35.

35 is not divisible by 2 or 3. Try the next prime, 5:

$\begin{array}{c|cc} 5 & 35 \\ \hline & 7 \end{array}$

35 = $5 \times 7$. So, 210 = $2 \times 3 \times 5 \times 7$. Now factorize 7.

7 is a prime number. It is divisible only by 1 and 7.

$\begin{array}{c|cc} 7 & 7 \\ \hline & 1 \end{array}$

So, 7 = $7 \times 1$. The process stops when we reach 1.

The prime factorization of 210 is $2 \times 3 \times 5 \times 7$. All the factors (2, 3, 5, 7) are prime numbers.


Co-prime Numbers (or Relatively Prime Numbers)

Two integers $a$ and $b$ are said to be co-prime or relatively prime if their only common positive divisor is 1. This is equivalent to saying that their greatest common divisor (GCD) is 1.

Note that $a$ and $b$ do not have to be prime numbers themselves for them to be co-prime. The definition applies to any two integers (though often discussed for positive integers). By convention, 0 is co-prime only to 1 and -1. We usually consider non-zero integers for this concept.

Examples:

The concept of co-prime numbers is important in various areas, including fractions (simplifying to lowest terms), modular arithmetic, and cryptography.


Perfect Numbers

A perfect number is a positive integer that is equal to the sum of its proper positive divisors.

Proper divisors of a number are all its positive divisors, excluding the number itself.

Example 1: Is 6 a perfect number?

The positive divisors of 6 are 1, 2, 3, and 6.

The proper positive divisors of 6 are the divisors excluding 6, which are 1, 2, and 3.

Sum of proper divisors $= 1 + 2 + 3 = 6$.

Since the sum of the proper divisors is equal to the number itself (6 = 6), 6 is a perfect number.

Example 2: Is 28 a perfect number?

The positive divisors of 28 are 1, 2, 4, 7, 14, and 28.

The proper positive divisors of 28 are 1, 2, 4, 7, and 14.

Sum of proper divisors $= 1 + 2 + 4 + 7 + 14 = 28$.

Since the sum of the proper divisors is equal to the number itself (28 = 28), 28 is a perfect number.

The next perfect number is 496, and after that 8128. These numbers become increasingly rare.

There is a strong connection between perfect numbers and a special type of prime number called Mersenne primes (prime numbers of the form $2^p - 1$, where $p$ is also a prime number). Euclid proved that if $2^p - 1$ is a Mersenne prime, then the number $2^{p-1}(2^p - 1)$ is an even perfect number.


Other Specific Number Types

Number theory is rich with various classifications of numbers based on specific properties, relationships, or geometric arrangements. Some other notable types include:

These are just a few examples of the many fascinating types of numbers studied in number theory and other branches of mathematics. Each type has unique properties and applications.